Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
911	Finite-State Non-Concatenative Morphotactics Kenneth R. Beesley and Lauri Karttunen [removed], [removed] arXiv:cs.CL[removed]v1 30 Jun 2000 Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-02-15 07:09:25 Computing Combinatorics Models of computation Grammar Combinatorics on words Finite state transducer String Regular language Finite-state machine Formal languages Automata theory Linguistics
912	Curriculum Vitae Personal Name: Felix Brandt Add to Reading List Source URL: dss.in.tum.de Language: English - Date: 2014-08-28 13:06:07 Agent-based model Science Computing Ethology Models of computation Lecture Notes in Computer Science International Conference on Autonomous Agents and Multiagent Systems
913	arXiv:1311.1029v1 [math.LO] 5 Nov[removed]Problems in number theory from busy beaver competition Pascal MICHEL∗ ´ Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-11-05 20:25:49 Mathematics Models of computation Turing machine Alan Turing Busy beaver Collatz conjecture Computability Computable function Halting problem Computability theory Theoretical computer science Theory of computation
914	PDF Document Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2013-10-22 13:32:31 Computer science Philosophy of artificial intelligence Turing machine Computability theory Models of computation Turing test Universal Turing machine Computability Mind Alan Turing Science Artificial intelligence
915	Adaptive Methods for the Computation of PageRank Sepandar Kamvar, Taher Haveliwala, and Gene Golub Stanford University Abstract. We observe that the convergence patterns of pages in the PageRank algorithm have a nonunifo Add to Reading List Source URL: ilpubs.stanford.edu Language: English - Date: 2008-09-17 01:51:01 Mathematics Markov models Internet search engines PageRank Search engine optimization Power iteration Eigenvalues and eigenvectors Inverse iteration Webgraph Algebra Numerical linear algebra Link analysis
916	SASI Enforcement of Security Policies: A Retrospective∗ ´ Ulfar Erlingsson Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:34:42 X86 architecture Assembly languages Models of computation X86 assembly language Trusted computing base Memory protection X86 GNU Compiler Collection State Software Computing Programming language implementation
917	International Journal of Foundations of Computer Science c World Scientific Publishing Company Edit-Distance of Weighted Automata: General Definitions and Algorithms Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:40:05 Formal languages Mathematics Finite state transducer Computer science Semiring Finite-state machine Sequence Büchi automaton Automata theory Models of computation Theoretical computer science
918	Weighted Rational Transductions and their Application to Human Language Processing Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:49:11 Models of computation Computer science Applied mathematics Finite state transducer Regular language Nondeterministic finite automaton Finite-state machine N-gram Probabilistic automaton Automata theory Formal languages Theoretical computer science
919	Algorithms for Speech Recognition and Language Processing Mehryar Mohri Michael Riley Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-21 09:19:29 Computer science Applied mathematics Mehryar Mohri Nondeterministic finite automaton Finite-state machine Speech recognition Finite state transducer Büchi automaton Automata theory Models of computation Theoretical computer science
920	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:38 Theoretical computer science Models of computation Symbol First-order logic Physical quantity KeY Lambda calculus Dynamical system Constructible universe Logic Mathematical logic Model theory